5.18/6.75	unsat
