10.55/12.39	unsat
