1047.19/1051.75	unsat
