12.28/12.39	unsat
