1044.06/1047.27	unsat
