1026.88/1028.94	unsat
